|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 随伴 : [ずいはん] 1. (n,vs) (1) attendance 2. accompanying 3. following 4. (2) adjoint (math) ・ 伴 : [とも] 1. (n,vs) companion 2. follower ・ 公 : [こう] 1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate ・ 公式 : [こうしき] 1. (adj-na,n) formula 2. formality 3. official ・ 式 : [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style ・ 代 : [よ, しろ] 【名詞】 1. world 2. society 3. age 4. generation ・ 代数 : [だいすう] (n) algebra ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure ・ 幾 : [ほとほと] 1. (adv) quite 2. greatly ・ 幾何 : [きか] 【名詞】 1. geometry ・ 幾何学 : [きかがく] 【名詞】 1. geometry ・ 何 : [なん] 1. (int,n) what ・ 学 : [がく] 【名詞】 1. learning 2. scholarship 3. erudition 4. knowledge
数学、特に代数幾何学や複素多様体論では、随伴公式(adjunction formula)は多様体の標準バンドルとその多様体の内側の超曲面を関係付ける。射影多様体のようなうまく振る舞いの定義できる空間の中へ埋め込まれた多様体についての事実を引き出したり、帰納的に定理を証明したりすることに良く使われる。 ===滑らかな部分多様体に対する公式=== X を(smooth)代数多様体、あるいは、滑らかな複素多様体とし、Y を X の部分多様体とする。埋め込み写像 を i と書き、X の中の Y の(ideal sheaf)を と書く。i に対する(conormal exact sequence)は、 : であり、ここに Ω は余接束を表す。この完全系列の行列式は、自然な同型 : を導く。ここに はラインバンドルの双対を表す。
|